Partially Ordered Models

Tripled partially ordered sets

In this paper, we introduce tripled partially ordered sets and monotone functions on tripled partiallyordered sets. Some basic properties on these new dened sets are studied and some examples forclarifying are given.

Steganalysis Using Partially Ordered Markov Models

Texture Analsyis Using Partially Ordered Markov Models

Texture is a phenomenon in image data that continues to receive wide-spread interest due to its broad range of applications. The paper focuses on but one of several ways to model textures, namely, the class of stochastic texture models. the authors introduce a new spatial stochastic model called partially ordered Markov models, or POMMs. They show how POMMs are a generalization of a class of mo...

Disjunctive Temporal Reasoning in Partially Ordered Models of Time

Certain problems in connection with, for example, cooperating agents and distributed systems require reasoning about time which is measured on incomparable or unsynchronized time scales. In such situations, it is sometimes approporiate to use a temporal model that only provides a partial order on time points. We study the computational complexity of partially ordered temporal reasoning in expre...

Partially Ordered Connectives and Sum11 on Finite Models

In this paper we take up the study of Henkin quantifiers with boolean variables [4] also known as partially ordered connectives [19]. We consider first-order formulae prefixed by partially ordered connectives, denoted D, on finite structures. We characterize D as a fragment of second-order existential logic Σ 1♥ whose formulae do not allow for existential variables being argument of predicate v...